Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
From RNNs to ChatGPT: The Paper That Changed How AI Thinks ๐Ÿค–
dev.toยท2hยท
Discuss: DEV
๐Ÿ”„Subinterpreters
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
ReasonScape Evaluation: AI21 Jamba Reasoning vs Qwen3 4B vs Qwen3 4B 2507
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐ŸLanguage Benchmarks
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
The Hidden Bias: A Study on Explicit and Implicit Political Stereotypes in Large Language Models
arxiv.orgยท15h
๐Ÿ“‹S-Expression
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐ŸชœRecursive Descent
Towards a Typology of Strange LLM Chains-of-Thought
lesswrong.comยท21h
๐ŸŒŠGradual Effects
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
โœ…Type Checking
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐Ÿ”„Incremental Lexing
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ“‹JSON Parsing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.comยท1d
๐ŸŒฑMinimal ML
The key to conversational speech recognition
datasciencecentral.comยท1d
๐Ÿ”Tokenizers
Analyzing Dialectical Biases in LLMs for Knowledge and Reasoning Benchmarks
machinelearning.apple.comยท1d
๐Ÿ“ŠLR Parsing
LLMs and reinforcement learning
sicpers.infoยท9h
๐ŸชœRecursive Descent
Clarity
robinsloan.comยท1d
๐ŸŒฑMinimal ML